A logical approach to asymptotic combinatorics II: Monadic second-order properties
نویسندگان
چکیده
منابع مشابه
A logical approach to asymptotic combinatorics II: Monadic second-order properties
In Compton [3] we began an investigation of a general approach to asymptotic problems in combinatorics. These problems involve determining probabilities of certain properties holding in large, finite structures randomly chosen from certain classes. The properties we considered were those expressible in first order logic L,,, and the classes were those closed under disjoint unions and components...
متن کاملAsymptotic Monadic Second-Order Logic
In this paper we introduce so-called asymptotic logics, logics that are meant to reason about weights of elements in a model in a way inspired by topology. Our main subject of study is Asymptotic Monadic Second-Order Logic over infinite words. This is a logic talking about ωwords labelled by integers. It contains full monadic second-order logic and can express asymptotic properties of integers ...
متن کاملOn Asymptotic Probabilities of Monadic Second Order
We propose a new, general and easy method for proving nonexistence of asymptotic probabilities of monadic second{order sentences in classes of nite structures where rst{order extension axioms hold almost surely.
متن کاملA Hierarchical Approach to Monadic Second-Order Logic over Graphs
The expressiveness of existential monadic second-order logic is investigated over several classes of nite graphs among them the graphs of bounded tree-width. A hierarchical approach to the decomposition of graphs is introduced which is related to the notion of tree decomposition. Among other results we show that existential monadic second-order logic on graphs of bounded tree-width is not close...
متن کاملAutomata for the verification of monadic second-order graph properties
Article history: Received 20 July 2011 Accepted 25 July 2011 Available online 27 July 2012
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Combinatorial Theory, Series A
سال: 1989
ISSN: 0097-3165
DOI: 10.1016/0097-3165(89)90009-5